A Formalism for Causal Explanations with an Answer Set Programming Translation
نویسنده
چکیده
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, the “declarative aspect” was more theoretical than practical. We show how recent improvements in working ASP systems facilitate the translation.
منابع مشابه
Using ASP with recent extensions for causal explanations
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an implementation, showing the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program, in accordance with th...
متن کاملA Logic Program Characterization of Causal Theories
Nonmonotonic causal logic, invented by McCain and Turner, is a formalism well suited for representing knowledge about actions, and the definite fragment of that formalism has been implemented in the reasoning and planning system called CCalc. A 1997 theorem due to McCain shows how to translate definite causal theories into logic programming under the answer set semantics, and thus opens the pos...
متن کاملFrame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abductive reasoning based on the notions of ”deserts” and ”oases” on the time line. Our work is motivated from the need to recover from the inconsistency that can arise when observations of fluents are added to the narrati...
متن کاملCharacterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond
We consider a simple language for writing causal action theories, and postulate several properties for the state transition models of these theories. We then consider some possible embeddings of these causal action theories in some other action formalisms, and their implementations in logic programs with answer set semantics. In particular, we propose to consider what we call permissible transl...
متن کاملCausal Theories as Logic Programs
We show how we can rewrite any causal theory — under the semantics of causal logic due to McCain and Turner — as a logic program in the answer set semantics. Using this translation the models of any causal theory can be computed using answer set solvers.
متن کامل